#include <stdio.h>

int main(void)
{	
	printf("%d", 15+37);


	getchar();
	return 0;
}








































